to_integer

pure function to_integer(): integer

Converts this big_integer to an integer value.

Since

0.12.0